-
sité dédié à la méthode b. la méthode b évoque traditionnellement l'ensemble comprenant : le langage b, le raffinement, la preuve, et les outils associ ...
logiciel prouvé  methode-b methode formelle methode formelle b modèle abstrait système prouvé
www.methode-b.com - 2009-02-11
-
B4Free, cest aussi lAtelier B en version mono-utilisateur, capable de générer du code C grâce au traducteur CommenC. Les composants sont limités à 4000 obliga ...
application b application b4free bbatch cansell click'n prove dominique cansell j-r abrial logic solver modéisation de système modele b modèle b outil b outil b académique outils b gratuit projet b proven software systèmes sécuritaires systèmes sûrs télécharger b4freel utiliser b4free
www.b4free.com - 2009-02-13
-
Développement de logiciels avec des garanties étendues, utilisation de la méthode formelle B dans les phases de spécifications. Qualification et Sûreté
système ferroviaire
www.clearsy.com - 2009-02-07
-
Le compilateur B est, avec le Générateur de Théorèmes et le démonstrateur de Théorèmes, lun des outils principaux de l'Atelier B. Il permet lanalyse de la synta ...
b compiler compilateur b
www.b-compiler.com - 2009-02-09
-
Présentation de l'Atelier b, atelier de génie logiciel permettant de développer des logiciels prouvés sans défaut.
www.atelierb.eu - 2009-03-09
|
informatique
industrie
atelier b
droit
multimédia
conception
avocat
juridique
entreprise
langage b
internet
noms de domaines
b4free
avocats
méthode formelle
negocios
|
|
